Implizite Definition nennt man die beim axiomatischen Aufbau einer Theorie aufgrund der vorausgesetzten Gültigkeit der Axiome implizit festgelegte Bedeutung der Grundbegriffe der Theorie. Dabei werden die Grundbegriffe also nicht auf andere Begriffe zurückgeführt, sondern nur durch in den Axiomen fixierte wechselseitige Beziehungen ...